Results for 'Valentine Ehichioya Obinyan'

220 found
Order:
  1. Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  2. Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  3. The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  4. Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  5. Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. (1 other version)Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Curriculum Management and Graduate Programmes’ Viability: The Mediation of Institutional Effectiveness Using PLS-SEM Approach.Valentine Joseph Owan, Emmanuel E. Emanghe, Chiaka P. Denwigwe, Eno Etudor-Eyo, Abosede A. Usoro, Victor O. Ebuara, Charles Effiong, Joseph O. Ogar & Bassey A. Bassey - 2022 - Journal of Curriculum and Teaching 11 (5):114-127.
    This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9. Climate hypocrisy and environmental integrity.Valentin Beck - forthcoming - Journal of Social Philosophy.
    Accusations of hypocrisy are a recurring theme in the public debate on climate change, but their significance remains poorly understood. Different motivations are associated with this accusation, which is leveled by proponents and opponents of climate action. In this article, I undertake a systematic assessment of climate hypocrisy, with a focus on lifestyle and political hypocrisy. I contextualize the corresponding accusation, introduce criteria for the conceptual analysis of climate hypocrisy, and develop an evaluative framework that allows us to determine its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Consumer Boycotts as Instruments for Structural Change.Valentin Beck - 2018 - Journal of Applied Philosophy 36 (4):543-559.
    Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Two forms of responsibility: Reassessing Young on structural injustice.Valentin Beck - 2023 - Critical Review of International Social and Political Philosophy 26 (6):918-941.
    In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. (2 other versions)On the Role of the Political Theorist Regarding Global Injustice.Valentin Beck & Julian Culp - 2013 - Global Justice: Theory Practice Rhetoric 6:40-53.
    Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.
    Download  
     
    Export citation  
     
    Bookmark  
  13. La liberté de la volonté dans la vision béatifique. Suárez critique d'Ockham.Valentin Braekman - 2021 - Lo Sguardo. Rivista di Filosofia 33 (2):227-245.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  16. Bioethics: Reincarnation of Natural Philosophy in Modern Science.Valentin Teodorovich Cheshko, Valery I. Glazko & Yulia V. Kosova - 2017 - Biogeosystem Technique 4 (2):111-121.
    The theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part One.Valentin Cheshko & Yulia Kosova - 2011 - Practical Philosophy 1:94-100.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Eine Theorie der globalen Verantwortung. Was wir Menschen in extremer Armut schulden.Valentin Beck - 2016 - Berlin, Deutschland: Suhrkamp Verlag.
    Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen unserer (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  19. The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  20. When do people dislike self-enhancers?Valentin Weber & Hugo Mercier - 2024 - Pragmatics and Cognition 31 (1):27-48.
    Self-enhancing statements can provide useful information. Why do we resent those who make them? We suggest that the resentment comes from a broader claim of superiority that self-enhancing statements can imply. In three experiments, we compared one condition, designed such that the self-enhancing claim would be perceived as a claim of superiority, to three conditions providing different contextual reasons for why the self-enhancing claim might not be a claim of superiority. In those conditions the self-enhancing claim is either called for, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Права и свободы человека и гражданина в контексте развития и внедрения систем искусственного интеллекта.Valentin Balanovskiy - 2007 - In Vadim Vasilyev (ed.), Философия сознания: классика и современность: Вторые Грязновские чтения. pp. 209-217.
    The author considers ethical and legal aspects of a developing of AI systems. He examines the ethical aspect through the prism of Kant’s philosophy and outlines moral prospects of (quasi)intelligent robots. The author considers the legal aspect in context of normative regulation of risks that arise with a creating of AI systems. In conclusion the author makes an assumption on forthcoming transformation of a legal system because of a new type of legal acts that combine classical form of legal act (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. (1 other version)Theorizing Fairtrade From a Justice-Related Standpoint.Valentin Beck - 2010 - Global Justice: Theory Practice Rhetoric 3:1-21.
    This paper argues that the Fairtrade certification system represents an illuminating example of the challenge of systematically determining consumer and entrepreneurial responsibilities in our global age. In taking up the central question of what, if anything, may be called ‘just’ or ‘fair’ in Fairtrade, I more precisely argue for a two-fold thesis: that a meaningful evaluation of Fairtrade must consider both an interactional and an institutional understanding of global responsibilities to promote justice and that Fairtrade can be better defended against (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  24. L'épineuse question de l'odium Dei chez André de Neufchâteau.Valentin Braekman - 2022 - Freiburger Zeitschrift für Philosophie Und Theologie 69 (1):58-77.
    Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  26. The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Standardised predictive linear models of managerial processes and the sustainability of graduate programmes (SGPs) in universities: A case study.Valentine Joseph Owan & Oni Enene Offu - 2021 - Contemporary Mathematics and Science Education 2 (1):Article ep21006.
    The exploration of the literature indicated that much studies abound in related areas. Much seems yet to be known about the nature of the relationship that exists between managerial variables and the sustainability of graduate programmes. To bridge this gap, we utilized a standardised multiple regression approach to build up linear models that examine three managerial processes (strategic planning, staff and information/communication management) and how they affect three proxies of the sustainability of graduate programmes (availability of funds and facilities, as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. The Interdependence of Domestic and Global Justice.Valentin Beck - 2019 - Yearbook for Eastern and Western Philosophy 4 (1):75-90.
    This article focuses on the challenge of determining the relative weight of domestic and global justice demands. This problem concerns a variety of views that differ on the metric, function, scope, grounds and fundamental interpretation of justice norms. I argue that domestic and global economic justice are irreducibly interdependent. In order to address their exact relation, I discuss and compare three theoretical models: (i) the bottom-up-approach, which prioritizes domestic justice; (ii) the top-down-approach, which prioritizes global justice; and (iii) the horizontal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Assessment of socio-demographic factors and students’ satisfaction with the study of ICT in secondary schools.Valentine Joseph Owan & Michael Ekpenyong Asuquo - 2021 - Pedagogical Research 6 (3):Article em0101.
    This research assessed certain socio-demographic variables and how they affect students’ satisfaction with the study of ICT in secondary schools. The study adopted a survey research design and was guided by six specific objectives. A total of 4,484 senior secondary school students represented the study’s population, while a simple random sampling technique was adopted in selecting a sample of 2,242 respondents. Secondary school Students’ Satisfaction with the Study of ICT Questionnaire (SSSSSICTQ)” was used primarily as the tool for data collection. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Near the Omega point: Anthropological-epistemological essay on the COVID-19 pandemic.Valentin Cheshko - 2020 - Practical Philosophy 76 (2):53-62.
    Summary. The prerequisites of this study have three interwoven sources, the natural sciences and philosophical and socio-political ones. They are trends in the way of being of a modern, technogenic civilization. The COVID-19 pandemic caused significant damage to the image of the omnipotent techno-science that has developed in the mentality of this sociocultural type.Our goal was to study the co-evolutionary nature of this phenomenon as a natural consequence of the nature of the evolutionary strategy of our biological species. Technological civilization (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Three. DYNAMICS OF GROWTH OF NEW KNOWLEDGE IN POSTACADEMICAL SCIENCE.Valentin Cheshko & Yulia Kosova - 2012 - Practical Philosophy 1:59-69.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Computer-administered testing practice in higher education in era of severe acute respiratory syndrome-related diseases outbreaks.Valentine Joseph Owan - 2020 - In V. C. Emeribe, L. U. Akah, O. A. Dada, D. A. Alawa & B. A. Akuegwu (eds.), Multidisciplinary issues in health, human kinetics and general education practices. University of Calabar Press. pp. 429-442.
    The focal point of this chapter is to discuss the concept of computer regulated testing and its implications in an era of Severe Acute Respiratory Syndrome (SARS) related infection pandemics. This is especially significant because during the outbreak of most SARS-related diseases (like the COVID-19), social and physical distancing is advocated by the government of different nations. SARS-related diseases are caused by a virus known as the coronavirus which affects the respiration of infected persons or animals. These diseases can be (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. As a Stable Adaptive Strategy Homo Sapiens, Nbics Technology and Bioethics Became Evolution Mechanism (Anthropological and Biopolitical Essay).Valentin Cheshko - 2019 - Strategia Supraviețuirii Din Perspectiva Bioeticii, Antropologiei, Filosofiei Și Medicinei 25:20-23.
    The subject of the essay is the genesis of the evolutionary strategy of стратегииHomo sapiens(SESH)as a carrier element of the transformation of technology and ethics into the main factors of anthropogenesis and the evolution of complex, self-organizing human-dimension systems.
    Download  
     
    Export citation  
     
    Bookmark  
  37. SVANTE PÄÄBO'S PALEOGENOMICS RESULTS IN THE CONTEXT OF POST-ACADEMIC TRANSFORMATIONS OF MODERN TECHNOSCIENCE(strokes to the portrait of the Nobel laureate in the socio-cultural context).Valentin Cheshko - 2022 - Biophysical Bulletin 48:25-32.
    The studies of Svante Pääbo, Nobel Laureate in Physiology or Medicine in 2022 are analyzed in two aspects: firstly, as the most striking example of the evolutionary transformation of classical scienceinto the so-called post-academic (techno)science and, secondly, as an element of the so-called "biopolitical turn" in the socio-humanitarian and political knowledge of technological civilization and, in particular, in the concept of "civil society".
    Download  
     
    Export citation  
     
    Bookmark  
  38. ТРАНСБІОПОЛІТИЧНИЙ ХРОНОТОП ТЕХНОЛОГІЧНОЇ ЦИВІЛІЗАЦІЇ: БІО- І ГЕОПОЛІТИЧНІ КОННОТАЦІЇ МІЖНАРОДНИХ ВІДНОСИН (TRANSBIOPOLITICAL CHRONOTOPE OF TECHNOLOGICAL CIVILIZATION: BIO- AND GEOPOLITICAL CONNOTATIONS OF INTERNATIONAL RELATION).Valentin Cheshko, Nina Konnova & Oleh Kuz - 2022 - Epistemological studies in Philosophy, Social and Political Sciences 5 (2):143-150.
    Problem Statement. In modern conditions the reconstruction of self-developing socio-technological- ecological systems, which include man as its element, is actualized. The result of such a construction will be the management of the value of technogenic risk in its biological, social and civilizational forms. And the obvious consequence will be the transition of the development of biopolitical problems to a new, no longer international, but global-evolutionary level. The theory and practice of such a reconstruction can be designated by the category of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Metrics in research impact assessment and grant funding: Insights from researchers in the “Reviewer 2 Must Be Stopped!” Facebook group.Valentine Joseph Owan, Victor Ubugha Agama, John O. Odey & Delight Omoji Idika - 2024 - Journal of Applied Learning and Teaching 7 (1):1-12.
    Research assessment and grant funding are vital to higher education. However, the reliance on quantitative metrics in these processes has raised concerns about their validity and potential negative consequences. This study aims to investigate the game of numbers in research assessment and grant funding, focusing on the perspectives of experienced researchers from around the globe. Accidental sampling elicited responses from more than 15 experienced researchers across different academic disciplines, institutions, and countries. The data were collected from the popular “Reviewer 2 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. University Collaborative Research and Wealth Creation.Valentine Joseph Owan - 2022 - Calabar: University of Calabar Press.
    There are two primary roles of universities – a place of learning and where new ideas and technologies are created. Universities profit from teaching and learning, research, and technology positions. It is the responsibility of institutions of higher learning to produce capable and self-directed learners who are confident and capable of contributing to society through leadership or civic engagement. Universities also prepare students for high-level employment. These institutions are also there to generate new knowledge, shift paradigms, assist society in fulfilling (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Introduction to the Special Issue on Normative Aspects of International Trade Institutions.Valentin Beck - 2018 - Moral Philosophy and Politics 5 (2):173-180.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Obstinacy in Suárez's Demonology.Valentin Braekman - 2023 - In Antonio Petagine & Valentin Braekman (eds.), Les anges dans la philosophie médiévale et moderne. Études offertes à Tiziana Suarez-Nani. Rome: Aracne. pp. 373-387.
    In this article, I set out Suárez's conception of the demon's obstinacy. For Suárez, the demons’ obstinacy is a divine punishment. It is the result of the free and awful choice to turn away from God that the demons have decided to make, the main consequence of which is the loss of the freedom to will and to do the good. Taking up Aquinas’s conception, Suárez considers that the demonic nature is irredeemably corrupt and obstinate in evil. Demons are provided (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Age of Genetics and the age of biotechnology on the way to editing of, human genome.Valentin Teodorovich Cheshko (ed.) - 2016 - Moscow Russia: Kurs-INFRA-M.
    The book discusses some of the stages in the development of genetics, biotechnology in terms of basic strategy of humanity towards the formation of a modern agrarian civilization. Agricultural civilization is seen as part of the biosphere and primary user of its energy flows. Consistently a steps of creation of management tools for live objects to increasing the number of food security of mankind are outlines. The elements of the biosphere degradation started in the results of human activities, and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Mode of test administration, birth variables, and students’ academic achievement in Mathematics in Obubra Local Government Area of Cross River State, Nigeria.Valentine Joseph Owan, Jennifer Uzoamaka Duruamaku-Dim & Samuel Eneje - 2019 - Prestige Journal of Counselling Psychology 2 (2):60-77.
    This study assessed the mode of test administration, birth variables, and students’ academic performance in Mathematics in Obubra Local Government Area of Cross River State, Nigeria. The study was guided by three null hypotheses following a quasi- experimental research design. Simple random and purposive sampling techniques were employed in selecting a sample of 250 respondents from a population of 5,792 students. Birth Order Checklist (BOC) and Mathematics Achievement Test (MAT) were used for data collection. The experimental group was assigned to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  53
    Zur Bedeutung von struktureller Verantwortung in den internationalen Beziehungen Das Beispiel der Klimakrise.Valentin Beck - 2024 - Zeitschrift Für Evangelische Ethik 68 (4):282-293.
    This article analyses what it means for the attribution of responsibility to adopt a structural perspective on macro-social phenomena. To this end, a specific form of responsibility, namely ‘structural responsibility’, is distinguished from and placed in relation to personal and interpersonal moral responsibility. It is argued that only with the attribution of structural responsibility can we appropriately take account of macro-social problems including those that are predominant in international relations. Using the example of climate responsibility, the article explains in a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Mechanism of Transbipolitical Transition in Geopolitics.Valentin Teodorovich Cheshko & Oleh Kuz - 2022 - Філософія Та Політологія В Контексті Сучасної Культури 14 (2):119-129.
    Problem Statement. The process of global evolution has entered the Anthropocene. This fact has almost simultaneously generated two cardinal, inseparable imperatives in the rapidly changing ideological and outlook basis of modern civilization. Firstly, the feeling that the new geological epoch also requires fundamentally new algorithms guiding practical activity and its theoretical comprehension, justification in all spheres of political reality, with inevitable exit to the level of international relations and geopolitics. Secondly, the content of the categories of ANTHROPOCEN and (GLOBAL) CRISIS (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. (1 other version)Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Stable adaptive strategy of Homo sapiens. Biopolitical alternatives. God problem. (in Russian).Valentin Cheshko (ed.) - 2012 - publ.house "INGEK".
    Mechanisms to ensure the integrity of the system stable evolutionary strategy Homo sapiens – genetic and cultural coevolution techno-cultural balance – are analyzed. оe main content of the study can be summarized in the following the- ses: stable adaptive strategy of Homo sapiens includes superposition of three basic types (biological, cultural and technological) of adaptations, the integrity of the system provides by two coevolutionary ligament its elements – the genetic-cultural coevolution and techno-cultural balance, the system takes as result of by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. STABLE ADAPTIVE STRATEGY of HOMO SAPIENS and EVOLUTIONARY RISK of HIGH TECH. Transdisciplinary essay.Valentin Cheshko, Valery Glazko, Gleb Yu Kosovsky & Anna S. Peredyadenko (eds.) - 2015 - new publ.tech..
    The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 220